$\forall$$A$:Type, $a$:$A$. ($a$ $\in$ $A$) $\in$ Type